Vector Space of Bounded Linear Operators

Definition

The set of bounded linear operators between normed vector spaces X and Y is denoted by B(X,Y).

Theorem

B(X,Y) forms a vector space under pointwise addition and multiplication.

We can also equip this space with a norm, called the operator norm.

Proof

Using the vector subspace test, we simply must prove that B(X,Y) is a non-empty set, closed under addition and scalar multiplication.

It is clear that the zero map is in B(X,Y), since zero is bounded by any non-negative real number. Suppose T,SB(X,Y), and λR. This means, there exists constants C1 and C2 such that

T(x)C1xandS(x)C2x

for all xX.

Therefore

T(x)+S(x)T(x)+S(x)C1x+C2x(C1+C2)x

and

λT(x)(C1λ)T(x).